On Ground Word Problem of Term Equation Systems
نویسنده
چکیده
We give semi-decision procedures for the ground word problem of variable preserving term equation systems and term equation systems. They are natural improvements of two well known trivial semi-decision procedures. We show the correctness of our procedures.
منابع مشابه
Congruence Closure of Compressed Terms in Polynomial Time
The word-problem for a finite set of equational axioms between ground terms is the question whether for terms s, t the equation s = t is a consequence. We consider this problem under grammar based compression of terms, in particular compression with singleton tree grammars (STGs) and with directed acyclic graphs (DAGs) as a special case. We show that given a DAG-compressed ground and reduced te...
متن کاملUndecidability of Ground Reducibility for Word Rewriting Systems with Variables
Given a nite alphabet A and an alphabet of variables X we consider words over A X called words with variables or patterns and words over A called simply words or strings A nite set R of rewrite rules w v where w v are words with variables is called a word rewriting system with variables WRSV From the viewpoint of rewriting systems theory WRSV s are rewriting systems over a signature consisting ...
متن کاملMixture of Experts for Persian handwritten word recognition
This paper presents the results of Persian handwritten word recognition based on Mixture of Experts technique. In the basic form of ME the problem space is automatically divided into several subspaces for the experts, and the outputs of experts are combined by a gating network. In our proposed model, we used Mixture of Experts Multi Layered Perceptrons with Momentum term, in the classification ...
متن کاملAN INVERSE PROBLEM WITH UNKNOWN RADIATION TERM
In this paper, we consider an inverse problem of linear heat equation with nonlinear boundary condition. We identify the temperature and the unknown radiation tern from an overspecified condition on the boundary
متن کاملThe effect of systems interaction possibility of electronic word of mouth advertising and E_ quality on E_ loyalty with the moderating role of decision support satisfaction
Internet revolution and ICT have changed the world and access to information and communication of the people with each other is possible more than past. In this new environment, relying on E-word of mouth communication could be a way to achieve a competitive advantage. Given the pervasive role of new technologies in Service industry as well as importance of customer loyalty in the insurance ind...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Acta Cybern.
دوره 22 شماره
صفحات -
تاریخ انتشار 2015